53 research outputs found
Simultaneous Communication Protocols with Quantum and Classical Messages
We study the simultaneous message passing (SMP) model of communication
complexity, for the case where one party is quantum and the other is classical.
We show that in an SMP protocol that computes some function with the first
party sending q qubits and the second sending c classical bits, the quantum
message can be replaced by a randomized message of O(qc) classical bits, as
well as by a deterministic message of O(q c log q) classical bits. Our proofs
rely heavily on earlier results due to Scott Aaronson.
In particular, our results imply that quantum-classical protocols need to
send Omega(sqrt{n/log n}) bits/qubits to compute Equality on n-bit strings, and
hence are not significantly better than classical-classical protocols (and are
much worse than quantum-quantum protocols such as quantum fingerprinting). This
essentially answers a recent question of Wim van Dam. Our results also imply,
more generally, that there are no superpolynomial separations between
quantum-classical and classical-classical SMP protocols for functional
problems. This contrasts with the situation for relational problems, where
exponential gaps between quantum-classical and classical-classical SMP
protocols are known. We show that this surprising situation cannot arise in
purely classical models: there, an exponential separation for a relational
problem can be converted into an exponential separation for a functional
problem.Comment: 11 pages LaTeX. 2nd version: author added and some changes to the
writin
Non-locality and Communication Complexity
Quantum information processing is the emerging field that defines and
realizes computing devices that make use of quantum mechanical principles, like
the superposition principle, entanglement, and interference. In this review we
study the information counterpart of computing. The abstract form of the
distributed computing setting is called communication complexity. It studies
the amount of information, in terms of bits or in our case qubits, that two
spatially separated computing devices need to exchange in order to perform some
computational task. Surprisingly, quantum mechanics can be used to obtain
dramatic advantages for such tasks.
We review the area of quantum communication complexity, and show how it
connects the foundational physics questions regarding non-locality with those
of communication complexity studied in theoretical computer science. The first
examples exhibiting the advantage of the use of qubits in distributed
information-processing tasks were based on non-locality tests. However, by now
the field has produced strong and interesting quantum protocols and algorithms
of its own that demonstrate that entanglement, although it cannot be used to
replace communication, can be used to reduce the communication exponentially.
In turn, these new advances yield a new outlook on the foundations of physics,
and could even yield new proposals for experiments that test the foundations of
physics.Comment: Survey paper, 63 pages LaTeX. A reformatted version will appear in
Reviews of Modern Physic
The Optimal Single Copy Measurement for the Hidden Subgroup Problem
The optimization of measurements for the state distinction problem has
recently been applied to the theory of quantum algorithms with considerable
successes, including efficient new quantum algorithms for the non-abelian
hidden subgroup problem. Previous work has identified the optimal single copy
measurement for the hidden subgroup problem over abelian groups as well as for
the non-abelian problem in the setting where the subgroups are restricted to be
all conjugate to each other. Here we describe the optimal single copy
measurement for the hidden subgroup problem when all of the subgroups of the
group are given with equal a priori probability. The optimal measurement is
seen to be a hybrid of the two previously discovered single copy optimal
measurements for the hidden subgroup problem.Comment: 8 pages. Error in main proof fixe
Sublinear Estimation of Weighted Matchings in Dynamic Data Streams
This paper presents an algorithm for estimating the weight of a maximum
weighted matching by augmenting any estimation routine for the size of an
unweighted matching. The algorithm is implementable in any streaming model
including dynamic graph streams. We also give the first constant estimation for
the maximum matching size in a dynamic graph stream for planar graphs (or any
graph with bounded arboricity) using space which also
extends to weighted matching. Using previous results by Kapralov, Khanna, and
Sudan (2014) we obtain a approximation for general graphs
using space in random order streams, respectively. In
addition, we give a space lower bound of for any
randomized algorithm estimating the size of a maximum matching up to a
factor for adversarial streams
A composition theorem for randomized query complexity via max conflict complexity
Let stand for the bounded-error randomized query
complexity with error . For any relation and partial Boolean function ,
we show that , where is
the composition of and . We give an example of a relation and
partial Boolean function for which this lower bound is tight.
We prove our composition theorem by introducing a new complexity measure, the
max conflict complexity of a partial Boolean function . We
show for any (partial) function
and ; these
two bounds imply our composition result. We further show that is
always at least as large as the sabotage complexity of , introduced by
Ben-David and Kothari
Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem
Schur duality decomposes many copies of a quantum state into subspaces
labeled by partitions, a decomposition with applications throughout quantum
information theory. Here we consider applying Schur duality to the problem of
distinguishing coset states in the standard approach to the hidden subgroup
problem. We observe that simply measuring the partition (a procedure we call
weak Schur sampling) provides very little information about the hidden
subgroup. Furthermore, we show that under quite general assumptions, even a
combination of weak Fourier sampling and weak Schur sampling fails to identify
the hidden subgroup. We also prove tight bounds on how many coset states are
required to solve the hidden subgroup problem by weak Schur sampling, and we
relate this question to a quantum version of the collision problem.Comment: 21 page
Classical and quantum partition bound and detector inefficiency
We study randomized and quantum efficiency lower bounds in communication
complexity. These arise from the study of zero-communication protocols in which
players are allowed to abort. Our scenario is inspired by the physics setup of
Bell experiments, where two players share a predefined entangled state but are
not allowed to communicate. Each is given a measurement as input, which they
perform on their share of the system. The outcomes of the measurements should
follow a distribution predicted by quantum mechanics; however, in practice, the
detectors may fail to produce an output in some of the runs. The efficiency of
the experiment is the probability that the experiment succeeds (neither of the
detectors fails).
When the players share a quantum state, this gives rise to a new bound on
quantum communication complexity (eff*) that subsumes the factorization norm.
When players share randomness instead of a quantum state, the efficiency bound
(eff), coincides with the partition bound of Jain and Klauck. This is one of
the strongest lower bounds known for randomized communication complexity, which
subsumes all the known combinatorial and algebraic methods including the
rectangle (corruption) bound, the factorization norm, and discrepancy.
The lower bound is formulated as a convex optimization problem. In practice,
the dual form is more feasible to use, and we show that it amounts to
constructing an explicit Bell inequality (for eff) or Tsirelson inequality (for
eff*). We give an example of a quantum distribution where the violation can be
exponentially bigger than the previously studied class of normalized Bell
inequalities.
For one-way communication, we show that the quantum one-way partition bound
is tight for classical communication with shared entanglement up to arbitrarily
small error.Comment: 21 pages, extended versio
- …